检索结果

Select

1. 基于线性误差断言的推理方法

武鹏, 吴尽昭

计算机应用 2021, 41 (8): 2199-2204. DOI: 10.11772/j.issn.1001-9081.2021030390

摘要（265）

PDF （4634KB）（327）

误差在系统中是普遍存在的。在安全关键系统中，对误差的定量分析是必要的，而以往的推理验证方法较少考虑误差。误差通常用区间数来刻画，从而推广了线性断言，并给出了线性误差断言的概念。此外，结合凸集的性质，提出了求解线性误差断言顶点的具体方法，并验证了该方法的正确性。通过分析相关概念及定理，将判断线性误差断言之间的蕴含关系的问题转化为前驱断言的顶点是否被包含在后驱断言的零点集的判断问题，从而给出了判断线性误差断言的蕴含关系的具体方法步骤，且该方法易于在计算机上编程实现。最后，给出该方法在火车加速状态上的应用，并且用大量随机实例测试了该方法的正确性。与不含误差语义的推理方法相比，该方法在含误差参数的系统的推理验证领域是有优势的。

参考文献 | 相关文章 | 多维度评价

Select

2. 维修时点预测的动态车间调度问题

匡鹏, 吴尽昭

计算机应用 2016, 36 (8): 2340-2345. DOI: 10.11772/j.issn.1001-9081.2016.08.2340

摘要（414）

PDF （848KB）（337）

针对制造业中生产计划的不确定问题，提出一种维修时点预测与自适应的遗传模拟退火算法相结合的优化调度方法。该方法首先利用差分自回归移动平均模型预测设备未来的故障率，然后借助电气设备的威布尔（Weibull）分布模型逆向求出设备未来故障发生时刻，最后将此作为约束条件，利用自适应的遗传模拟退火算法解决传统的生产调度问题。结合工厂实际情况，主要分析了设备有无维修的随机调度问题，以最小化最大完工时间为目标，获取每一个任务的调度计划以及每一台设备的维修时点，确定出最佳调度方案。实验表明自适应的遗传模拟退火算法的性能较好。在河北某工厂的生产车间中，设备在运行调度方法后三个月的平均故障率比运行前相对降低了3.46%。

参考文献 | 相关文章 | 多维度评价

Select

3. 物联网网关中轻量化规则引擎的设计与实现

田瑞琴, 吴尽昭, 唐鼎

计算机应用 2015, 35 (4): 1035-1039. DOI: 10.11772/j.issn.1001-9081.2015.04.1035

摘要（1368）

PDF （770KB）（671）

针对物联网网关不适用于多个应用场景的问题,提出了在网关上实现规则引擎的方法。该方法通过"关联事实"属性和 "议程推理"机制,解决了传统规则引擎如JRules等无法应用于轻量级网关设备并且运行时间和响应时间较长的问题。添加"关联事实"属性能减小匹配规则集的大小,"议程推理"机制能避免匹配过程中不必要的等待时间。基于上述方法,在物联网网关上设计并实现了一种快速轻量化规则引擎(FLRE),并用规模不等的数据集测试。实验结果表明,添加"关联事实"属性能将规则引擎的运行速度提高8%~30%,"议程推理"机制能将规则引擎的响应速度提高7%~35%,使规则引擎能够高效地应用于物联网网关上。

参考文献 | 相关文章 | 多维度评价

Select

4. 基于CSP的OWL-S语义分析与建模

杨建书吴尽昭周瑾

计算机应用 2010, 30 (8): 2173-2176.

摘要（440）

PDF （696KB）（1238）

为了实现OWL-S过程模型正确性的自动化验证，提出了基于进程代数CSP的OWL-S过程模型的语义建模方法，建立了CSP的形式化语义模型，并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础，所以可以基于该方法开发出自动化验证OWL-S过程模型的工具，提高系统的安全性。

相关文章 | 多维度评价

Select

5. 基于SVG的专用公式编辑工具的设计与实现

唐勇吴尽昭陈剑锋

计算机应用 2009, 29 (10): 2865-2868.

摘要（1007）

PDF （806KB）（1139）

提出了一种基于SVG技术的专业领域公式编辑工具解决方案。使用自定义的公式输入规则、Java图形编程技术和Batik软件包设计并实现了一个应用于交互式马尔可夫链（IMC）的并发系统性能评价系统的公式编辑器。该方案设计完善、操作简单、编辑方便、公式显示效果出色、通用性强，能方便地进行转化以适应于多种专业领域。

相关文章 | 多维度评价

Select

6. 基于Groebner基的模型检测技术及其工具实现

廖紫骅谭红艳吴尽昭

计算机应用 2009, 29 (10): 2841-2843.

摘要（938）

PDF （705KB）（1183）

为了减少运算复杂度和运算时间，优化检测的性能，使得计算过程更加快速高效，在符号化模型检测的过程中，利用Groebner基进行多项式约化，设计出新的模型检测算法。并且基于该算法开发出新的符号模型检测工具。该工具能更快速地验证各软件及硬件系统的性质，具有较高的实用价值。

相关文章 | 多维度评价

Select

7. 基于交互式马尔可夫链的模型检验

许翔吴尽昭林连南陈剑锋

计算机应用

摘要（1464）

PDF （591KB）（924）

研究了基于交互式马尔可夫链（IMC)的模型检验，IMC是集功能描述和性能刻画为一体的并发系统模型，模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能，并且与现有的算法相一致。实验分析表明，该算法具有较高的性能，适用于大型复杂系统的验证和评价。

相关文章 | 多维度评价